failure 57:
Requirement failed: {initstate.07} shall return pointer to the previous state
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_rand_scenario.utz (math_rand_scenario.utt), line 5492 |
| occurence |
| scenario |
math_rand_scenario |
| specification function |
initstate_spec() |
| parameter value |
CallContext context = [pid=14321,thr=b749d6c0] |
| parameter value |
UIntT seed = 123 |
| parameter value |
IntT size = 8 |
| return value |
(InitstateReturnType *) struct InitstateReturnType { res=struct VoidTPtr { system=0, process=14321, address=163821960 }, CurStatePointer=struct VoidTPtr { system=0, process=14321, address=163822256 } } |
coverage
& branch |
C
8 <= size < 32: simple linear congruential random number generator |
| properties |
| REQ failed |
initstate.07 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The initstate() function handles restarting of random-number generator.
According to LSB, upon successful completion, initstate() shall return a pointer to the previous state
array; otherwise, a null pointer shall be returned.
But on the target machine the function returns neither a pointer to the previous state,
nor NULL pointer.
|
|